x86: use paging_mark_pfn_dirty()
authorJan Beulich <jbeulich@suse.com>
Tue, 13 Feb 2018 16:29:50 +0000 (17:29 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 13 Feb 2018 16:29:50 +0000 (17:29 +0100)
commitc5e53aa67a76c0365e754a847429b838509d9144
treeaac54a6e1bfc2a3dcd6045ff53c712422e8525f6
parent10ce76b8e962998cfb9e9edf19953cceb7793852
x86: use paging_mark_pfn_dirty()

... in preference over paging_mark_dirty(), when the PFN is known
anyway.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Tim Deegan <tim@xen.org>
Reviewed-by: Paul Durrant <paul.durrant@citrix.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: George Dunlap <george.dunlap@citrix.com>
xen/arch/x86/hvm/dm.c
xen/arch/x86/hvm/hvm.c
xen/arch/x86/hvm/ioreq.c
xen/arch/x86/mm.c
xen/arch/x86/mm/p2m-pod.c